From 705f51e1718a95dda04415bfc88cac0613a5b685 Mon Sep 17 00:00:00 2001 From: "kfraser@localhost.localdomain" Date: Fri, 7 Sep 2007 19:53:57 +0100 Subject: [PATCH] x86/32: Fix domain_relinquish_resources(). Fixes a host crash on preempted domain_kill(). Signed-off-by: Keir Fraser --- xen/arch/x86/domain.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c index f4f6ca47df..49d11ccc63 100644 --- a/xen/arch/x86/domain.c +++ b/xen/arch/x86/domain.c @@ -1761,8 +1761,8 @@ int domain_relinquish_resources(struct domain *d) /* fallthrough */ /* Relinquish every page of memory. */ -#if CONFIG_PAGING_LEVELS >= 4 case RELMEM_xen_l4: +#if CONFIG_PAGING_LEVELS >= 4 ret = relinquish_memory(d, &d->xenpage_list, PGT_l4_page_table); if ( ret ) return ret; @@ -1776,8 +1776,8 @@ int domain_relinquish_resources(struct domain *d) /* fallthrough */ #endif -#if CONFIG_PAGING_LEVELS >= 3 case RELMEM_xen_l3: +#if CONFIG_PAGING_LEVELS >= 3 ret = relinquish_memory(d, &d->xenpage_list, PGT_l3_page_table); if ( ret ) return ret; -- 2.30.2